RecordPattern3.agda:12,6-19
Cannot split on argument of non-datatype _3
when checking that the pattern record { f = a } has type _3
